<?php
$directory = "Compte_Rendu_Municipalite/Etude_" . $_GET['Num'] . "/";
$openDir = opendir($directory);
while($file = readdir($openDir)){
    if($file != '.' && $file != "..")
    echo "<a href=\"".$directory.$file."\">" .$file. "</a><br />";
}
close($directory);
?>